Incomplete Causal Laws in the Situation Calculus Using Free Fluents
نویسندگان
چکیده
We propose a simple relaxation of Reiter’s basic action theories, based on fluents without successor state axioms, that accommodates incompleteness beyond the initial database. We prove that fundamental results about basic action theories can be fully recovered and that the generalized framework allows for natural specifications of various forms of incomplete causal laws. We illustrate this by showing how the evolution of incomplete databases, guarded action theories, and non-deterministic actions can be conveniently specified.
منابع مشابه
Representing Action Domains with Numeric-Valued Fluents
We present a general method to formalize action domains with numericvalued fluents whose values are incremented or decremented by executions of actions, and show how it can be applied to the action description language C+ and to the concurrent situation calculus. This method can handle nonserializable concurrent actions, as well as ramifications on numeric-valued fluents, which are described in...
متن کاملTowards an Expressive Decidable Logical Action Theory
In the area of reasoning about actions, one of the key computational problems is the projection problem: to find whether a given logical formula is true after performing a sequence of actions. This problem is undecidable in the general situation calculus; however, it is decidable in some fragments. We consider a fragment P of the situation calculus and Reiter’s basic action theories (BAT) such ...
متن کاملTowards an Expressive Practical Logical Action Theory
In the area of reasoning about actions, one of the key computational problems is the projection problem: to find whether a given logical formula is true after performing a sequence of actions. This problem is undecidable in the general situation calculus; however, it is decidable in some fragments. We consider a fragment P of the situation calculus and Reiter’s basic action theories (BAT) such ...
متن کاملA Situation Calculus-based Approach To Model Ubiquitous Information Services
Wenyu DONG, Ke XU, Mengxiang LIN State Key Laboratory of Software Development Environment, Computer Science & Engineering Department, Beijing University of Aeronautics & Astronautics, Beijing, 100083, P. R. China {wydong, kexu, mxlin}@nlsde.buaa.edu.cn Abstract: This paper presents an augmented situation calculus-based approach to model autonomous computing paradigm in ubiquitous information se...
متن کاملInterval-valued Epistemic (IVE) Fluents
We have developed a syntactic approach to representing knowledge within the situation calculus using interval arithmetic. Knowledge was first incorporated into the situation calculus using a possible-worlds approach. Unfortunately, this previous approach is not amenable to easy implementation. This is because it is not clear how to specify the initial situation as the number of possible worlds ...
متن کامل